Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
331	Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-01-08 08:10:54 Type theory Lambda calculus Formal methods Logic in computer science Coq Pure type system HOL Correctness Automated proof checking Theoretical computer science Applied mathematics Programming language theory
332	MFPSGlobal State Considered Helpful Paul Blain Levy 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-06-30 15:25:55 Algebraic geometry Theoretical physics Mathematical analysis Deduction Natural deduction Proof theory Orbifold Differential geometry Geometry Differential topology
333	Another Tutorial for FoCaLize: Playing with Proofs Franc¸ois Pessaux ENSTA ParisTech March 2014 Add to Reading List Source URL: focalize.inria.fr Language: English - Date: 2014-10-13 13:14:08 Proof theory Mathematical proofs IP Mathematics Mathematical logic Logic
334	On Elementary Linear Logic and polynomial time (Extended Abstract) Patrick Baillot∗ ENS Lyon, Universit´e de Lyon, LIP (UMR 5668 CNRS-ENSL-INRIA-UCBL) Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2015-05-05 07:12:16 Complexity classes Proof theory Structural complexity theory Curry–Howard correspondence Type theory NP Time complexity Reduction Linear logic Theoretical computer science Computational complexity theory Applied mathematics
335	Balancing lists: a proof pearl? Guyslain Naves1 and Arnaud Spiwack2 1 Aix Marseille Université, CNRS, LIF UMR 7279, 13288, Marseille, France Add to Reading List Source URL: assert-false.net Language: English - Date: 2014-06-13 08:06:32 Recursion Higher-order functions Functional languages Mathematical logic Computability theory Binary tree Map Tree Binary search tree Computer programming Computing Software engineering
336	A GENERALIZED JACOBI THETA FUNCTION AND QUASIMODULAR FORMS Masanobu Kaneko and Don Zagier In this note we give a direct proof using the theory of modular forms of a beautiful Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2011-05-27 05:03:40 Mathematics Elliptic functions Q-analogs Analytic number theory Theta function Letter Mock modular form Symbol Mathematical analysis Complex analysis Modular forms
337	Polarized Resolution Modulo Gilles Dowek ´ Ecole polytechnique and INRIA ´ Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:45 Proof theory Automated theorem proving Rules of inference Resolution Unification Sequent calculus Function Admissible rule Cut-elimination theorem Mathematical logic Logic Mathematics
338	Comp. by: SivaSankar Stage: Proof Chapter No.: 6 Title Name: BennettAndJennings Page Number: 0 Date:Time:02:15:24 john adams Add to Reading List Source URL: www.john-adams.co.uk Language: English - Date: 2012-01-13 11:49:10 Ethics Risk management Precautionary principle Cultural Theory of risk Uncertainty Insurance Value at risk Occupational safety and health Risk Probability Actuarial science
339	An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (Ecole Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:29:08 Mathematics Cut-elimination theorem Sequent calculus Sequent Gerhard Gentzen Natural deduction Proof theory Mathematical logic Logic
340	Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:44 Model theory Formal methods Propositional calculus Predicate logic Function Lambda calculus Forcing Well-formed formula Atomic formula Logic Mathematical logic Mathematics

UPDATE